canonical derivation

См. также в других словарях:

• canonical — A canonical derivation in logic is one satisfying some set of conditions that are laid down: thus it may be important to show that if there is a derivation of B from A, there is a particular kind of derivation, en route to showing some result of… …   Philosophy dictionary

• Canonical ensemble — A canonical ensemble in statistical mechanics is a statistical ensemble representing a probability distribution of microscopic states of the system. The probability distribution is characterised by the proportion pi of members of the ensemble… …   Wikipedia

• Canonical LR parser — A canonical LR parser or LR(1) parser is an LR parser whose parsing tables are constructed in a similar way as with LR(0) parsers except that the items in the item sets also contain a lookahead , i.e., a terminal that is expected by the parser… …   Wikipedia

• Post canonical system — A Post canonical system, as created by Emil Post, is a string manipulation system that starts with finitely many strings and repeatedly transforms them by applying a finite set of specified rules of a certain form, thus generating a formal… …   Wikipedia

• Estimation of covariance matrices — In statistics, sometimes the covariance matrix of a multivariate random variable is not known but has to be estimated. Estimation of covariance matrices then deals with the question of how to approximate the actual covariance matrix on the basis… …   Wikipedia

• Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… …   Wikipedia

• Maxwell–Boltzmann statistics — Statistical mechanics Thermodynamics · …   Wikipedia

• General relativity — For a generally accessible and less technical introduction to the topic, see Introduction to general relativity. General relativity Introduction Mathematical formulation Resources …   Wikipedia

• Fermi–Dirac statistics — Statistical mechanics Thermodynamics · …   Wikipedia

• Apocrypha — • A long article with a comments on each Apocryphal book. Classified according to origin Catholic Encyclopedia. Kevin Knight. 2006. Apocrypha     Apocrypha      …   Catholic encyclopedia

• BIBLE — THE CANON, TEXT, AND EDITIONS canon general titles the canon the significance of the canon the process of canonization contents and titles of the books the tripartite canon …   Encyclopedia of Judaism